منابع مشابه
New Developments in Environment Machines
In this paper we discuss and compare abstract machines for the lambda-calculus, implementing various evaluation strategies. Starting from the well-known Categorical abstract machine (CAM) and Krivine’s abstract machine (KAM), we develop two families of machines that differ in the way they treat environments. The first family is inspired by the work on closed reduction strategies, whereas the se...
متن کاملDevelopments in weaving machines
The major developments in weaving machinery are highlighted. The maximum weft insertion rates achieved by the various shullleless weaving systems along with their application potential are described. Microprocessors have been recognized as an inseparable part of all modem weaving machines. The increased importance of versatility over productivity is highlighted keeping in view the present trend...
متن کاملSome New Developments in Small Area Estimation
Small area estimation has received a lot of attention in recent years due to growing demand for reliable small area statistics. Traditional area-specific estimators may not provide adequate precision because sample sizes in small areas are seldom large enough. This makes it necessary to employ indirect estimators based on linking models. Basic area level and unit level models have been extensiv...
متن کاملNew developments on the cheminformatics open workflow environment CDK-Taverna
BACKGROUND The computational processing and analysis of small molecules is at heart of cheminformatics and structural bioinformatics and their application in e.g. metabolomics or drug discovery. Pipelining or workflow tools allow for the Lego™-like, graphical assembly of I/O modules and algorithms into a complex workflow which can be easily deployed, modified and tested without the hassle of im...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2009
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2009.03.035